logic mô tả câu

• Biểu diễn tri thức và lập luận trong logic mô tả.
• Biểu diễn tri thức và lập luận trong logic mô tả
• ngôn ngữ dựa trên các logic mô tả [25], [26], [27].
• Các thủ tục quyết định trong logic mô tả 24
• Về cơ bản, OWL là một ngôn ngữ dựa trên các logic mô tả [25], [26], [27].
• Họ ngôn ngữ logic mô tả AL 13
• Tổng quan về Logic mô tả EL
• dựa vào logic mô tả.
• Logic mô tả
• Một mô hình dữ liệu mức logic mô tả dữ liệu ở mức chi tiết hơn, nhưng chưa quan tâm đến cài đặt cơ sở dữ liệu vật lý.
• OWL DL cũng được chỉ định theo sự tương ứng với logic mô tả, một lĩnh vực nghiên cứu trong logic đã tạo nên sự thiết lập chính thức của OWL.
• Một nhà toán học và triết học bằng tên của George Boole xuất bản một bài báo năm 1847 được gọi là "phân tích toán học của Logic mô tả một hệ thống đại số logic, bây giờ được gọi là đ ại số Boolean .